Iacopo Mastromatteo CMAP, École Polytechnique A stylized model for the anomalous impact of metaorders

Source URL: www.math.univ-toulouse.fr

Well-partial-orderings and hierarchies of binary trees Gyesik Lee 1 LIX-INRIA Futurs, Ecole Polytechnique, 91128 Palaiseau Cedex, France Abstract

Source URL: formal.hknu.ac.kr

Computation with perturbed dynamical systems Olivier Bournez Ecole Polytechnique, LIX, 91128 Palaiseau Cedex, France Daniel S. Gra¸ca DM/FCT, Universidade do Algarve, C. Gambelas, Faro, Portugal

Source URL: w3.ualg.pt

DIFTS 14 3rd International Workshop on Design and Implementation of Formal Tools and Systems October 20, 2014 Ecole Polytechnique Fédérale de Lausanne, Lausanne, Switzerland Final Program

Source URL: fmgroup.polito.it

Towards a Functional Formalism for Modelling Complex Industrial Systems S. Bliudze and D. Krob {bliudze, dk}@lix.polytechnique.fr Laboratoire d’Informatique de l’Ecole Polytechnique (LIX) ´

Source URL: www.bliudze.me

ON NESTED SEQUENTS FOR CONSTRUCTIVE MODAL LOGICS RYUTA ARISAKA, ANUPAM DAS, AND LUTZ STRASSBURGER ´ INRIA, 1 rue Honor´e d’Estienne d’Orves,, Campus de l’Ecole Polytechnique, Bˆ atiment Alan Turing, 91120 Palais

Source URL: www.anupamdas.com

Overview of the Delta Haptic Device Sébastien Grange, François Conti, Patrice Rouiller, Patrick Helmer, Dr. Charles Baur Institut de Systèmes Robotiques Ecole Polytechnique Fédérale de Lausanne 1015 Lausanne, Switze

Source URL: www.eurohaptics.vision.ee.ethz.ch

´ Ecole Polytechnique Cours: MAP311 Projet de Simulation

Source URL: web.maths.unsw.edu.au

Inferring Repository File Structure Modifications Using Nearest-Neighbor Clone Detection 1 Thierry Lavoie1 , Foutse Khomh2, Ettore Merlo1 , Ying Zou2 Departement de genie informatique et logiciel, Ecole Polytechnique de

Source URL: swat.polymtl.ca

• Computer programming
• Software engineering
• Software
• Duplicate code
• Source code
• K-d tree
• Limit of a function
• Git

Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

Source URL: www.lix.polytechnique.fr